Для широкого круга читателей (слушателей, аспирантов, преподавателей) интересующихся данной проблемой.

We introduce proof nets and sequent calculus for the multiplicative fragment of non-commutative logic, which is an extension of both linear logic and cyclic linear logic. The two main technical novelties are a third switching position for the non-commutative disjunction, and the structure of order variety.

This work is devoted to the relations between Lambek’s Syntactic Calculus and noncommutative variants of Girard’s Linear Logic; in particular the paper will consider: the geometrical representation of the laws of LC by means of proof-nets; the discovery - due to such a geometrical representation - of some laws of LC not yet considered; the discussion of possible linguistic uses of these new laws.

We study increasing F-sequences, where F is a dilator: an increasing F-sequence is a sequence (indexed by ordinal numbers) of ordinal numbers, starting with 0 and terminating at the first step x where F(x) is reached (at every step x + 1 we use the same process as in decreasing F-sequences, cf. [2], but with "+ 1" instead of "- 1"). By induction on dilators, we shall prove that every increasing F-sequence terminates and moreover we can determine for every dilator (...) F the point where the increasing F-sequence terminates. We apply these results to inverse Goodstein sequences, i.e. increasing (1 + Id) (ω) -sequences. We show that the theorem every inverse Goodstein sequence terminates (a combinatorial theorem about ordinal numbers) is not provable in ID 1 . For a general presentation of the results stated in this paper, see [1]. We use notions and results concerning the category ON (ordinal numbers), dilators and bilators, summarized in [2, pp. 25-31]. (shrink)

Издание представляет результаты исследования малоизученной темы социально-экономических доктрин консерватизма. Оно отражает их развитие от времени выражения их в виде утопий, погруженных в более общие социально-философские и политические учения.

The institution of the principle of distribution in accordance with work performed in the process of the building of socialism and the consistent implementation of this principle under the conditions of developed socialism are powerful factors in the establishment and consistent implementation of the principle of the universality of work. In the course of the building of communism, payment in accordance with work done will remain the principal source of growth of incomes. Therefore, the completeness of satisfaction of people's requirements (...) and their prosperity depend predominantly on the amount and quality of the work given to society. However, a high level of communist consciousness presumes not merely participation in social labor but a perceived need to work as efficiently and productively as possible. (shrink)

This study offers a critical analysis of Husserl's theory of meaning. The author commences by delineating the position and function of Husserl's meaning theory in the sum total of his phenomenological philosophy. He goes on to demonstrate that this theory was conceived as an integral component of Husserl's theory of knowledge. (edited).

Russkai︠a︡ t︠erkovʹ i drugie statʹi -- V temnykh religioznykh luchakh.

Анализируется круг проблем, к которым было приковано преимущественное внимание русских философов указанного периода. Это - идущее от А. С. Хомякова философское осмысление Божественного Триединства.

Исследование иллюстрируется примерами анализа самого современного искусства в сферах живописи, театра, кино, литературы.

Purpose. The purpose of the study is to outline the links between individual and collective dimensions of the human worldview. This purpose requires solving two tasks: to update philosophical ideas formed by reflection on human and community worldview; to identify and generalize the relationship of singular and general in the context of the problem of human worldview. Theoretical basis. The study is based on philosophical reflections about manifestations of singular and general worldviews. Such reflections appeared in European philosophy quite a (...) long time ago. Ukrainian and foreign philosophical discourse considers both measures of the worldview. And a role of the carrier of worldview plays either human or society. We can see that in researches of S. Krymskyi, I. Nadolniy, V. Popov, N. Rozhanska, V. Tabachkovskyi, V. Shynkaruk, V. Poythress, D. Rousseau, D. Billingham, C. Gianolla and others. However the links between individual and collective dimensions of worldview are not clearly outlined. It is possible to note the research of V. Popov who focuses on the problem of socio-collective and individual dimensions of worldview. But the scientist focuses more on the use of the concept of worldview in these two meanings. Human as a social being interacts with worldviews of other individuals. That is why we can speak of two dimensions of the worldview function: individual and collective. This problem became topical due to acuteness of the links between human and society in modern life. Originality. The author outlined key links between individual and collective dimensions of human worldview functioning. The study identified a role of human as a carrier of the worldview in formation of collective worldview. Conclusions. Human as a worldview carrier plays a key role in formation of collective worldview. In philosophical discourse thoughts about links between individual and collective worldviews are different and sometimes conflicting. We have a discussion problem of uniformity and diversity of collective worldview. Collective worldview is showed as a circulation of different ideas and views of individuals. But collective worldview is showed as a whole system of individual views too. Collective worldview manifests as integrated phenomenon because it is based on common worldviews of individuals. At the same time the human is influenced by collective worldview in particularly as a past generation heritage. (shrink)

We define proof nets for cyclic multiplicative linear logic as edge bi-coloured graphs. Our characterization is purely graph theoretical and works without further complication for proof nets with cuts, which are usually harder to handle in the non-commutative case. This also provides a new characterization of the proof nets for the Lambek calculus (with the empty sequence) which simply are a restriction on the formulas to be considered (which are asked to be intuitionistic).